/*timer.h -- Defines the interface for all PIT-related functions.*/
/*Written for JamesM's kernel development tutorials.*/

#ifndef TIMER_H
#define TIMER_H

#include "common.h"
#include "timer.h"

void init_timer(u32int frequency);

#endif

